Differential Krull dimension in differential polynomial extensions

The Differential Dimension Polynomial for Characterizable Differential Ideals

We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it decides equality of characterizable differential ideals contained in each other.

Krull Dimension

1 Introduction

Differential Polynomial Rings of Triangular Matrix Rings

Multivariable Dimension Polynomials and New Invariants of Differential Field Extensions

We introduce a special type of reduction in the ring of differential polynomials and develop the appropriate technique of characteristic sets that allows to generalize the classical Kolchin’s theorem on differential dimension polynomial and find new differential birational invariants of a finitely generated differential field extension. 2000 Mathematics Subject Classification. 12H05, 12H20, 13N15.

Krull Dimension in Modal Logic

We develop the theory of Krull dimension for S4-algebras and Heyting algebras. This leads to the concept of modal Krull dimension for topological spaces. We compare modal Krull dimension to other well-known dimension functions, and show that it can detect differences between topological spaces that Krull dimension is unable to detect. We prove that for a T1-space to have a finite modal Krull di...